public class TestModule {
  public String toString() {
    return "TestModule, version 16";
  }
}